Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
181	The muddy children Modal logics The epistemic operator A logic for public announcement The Muddy Children: Add to Reading List Source URL: phiwumbda.org Language: English - Date: 2007-02-17 23:30:31
182	Kripke semantics for modal bilattice logic Achim Jung Umberto Rivieccio School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-26 05:15:29
183	An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory Yoichi Hirai, Dakar Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Logic Artificial intelligence Epistemic modal logic Formal epistemology Modal logic Philosophy Interpretation Cognitive science
184	PDF Document Add to Reading List Source URL: www.gaus.biz Language: English - Date: 2012-06-24 17:42:40 Metatheory Philosophical logic Critical thinking Democracy Epistemology Theory of justification Modal logic Truth Deliberative democracy Relativism David Estlund Moral realism
185	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-06-26 10:24:04 Complexity classes Finite model theory Logic FO Modal logic HO
186	DIFFERENCE-MAKING AND EASY KNOWLEDGE: REPLY TO COMESAÑA AND SARTORIO Erik J. WIELENBERG ABSTRACT: Juan Comesaña and Carolina Sartorio have recently proposed a diagnosis of what goes wrong in apparently illegitimate cas Add to Reading List Source URL: logos-and-episteme.acadiasi.ro Language: English - Date: 2015-03-28 04:36:39 Linguistics Evidentiality Theory of justification Modal logic Reliabilism Justification Epistemology Philosophy
187	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
188	Completeness Results for Memory Logics Carlos Arecesa , Santiago Figueirab,c , Sergio Merab,1 a INRIA Nancy Grand Est, France de Computaci´ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2012-08-27 11:06:28 Philosophical logic Metalogic Non-classical logic Deduction Model theory Hybrid logic Entailment FO Temporal logic Logic Mathematical logic Modal logic
189	Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-04-26 07:06:34 Information science Non-classical logic Formal systems Knowledge representation Ontology Description logic Axiom Modal logic Mereology Logic Mathematical logic Mathematics
190	Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Formal languages Logic in computer science Complexity classes Automata theory Temporal logic Linear temporal logic Modal logic Dynamic logic Model checking Theoretical computer science Mathematics Logic

UPDATE